Integrating educational theories into a feasible digital environment

Integrating Theories into Inference Systems

The axiomatization of arithmetical properties in theorem proving creates many straightforward inference steps. In analyzing mathematical proofs with the CERES (Cut-Elimination by Resolution) system, it is convenient to hide these inferences. The central topic of the thesis is the extension of the CERES method to allow reasoning modulo equational theories. For this, the inference systems of Sequ...

Integrating Sound into a Digital Media Course

Sound is sometimes neglected in digital art programs, visual art being the traditional focus. However, visual artists might be quite willing to incorporate more sound and music into their courses if they were shown a “quick-start” way to integrate a second medium. This paper provides such a quick start in five areas: a rationale for including digital sound in digital art courses; suggestions fo...

Integrating Fragmented Objects into a CORBA Environment

The design of distributed applications based on a fragmented object model has many benefits. Unlike traditional middleware with a RPC-based client-server interaction, the implementation of a fragmented object may be distributed over an arbitrary number of fragments, without restrictions on internal structure or interaction, while maintaining a transparent, standardized interface on the outside....

Integrating LabVIEW into a Distributed Computing Environment

Being easy to learn and well suited for a selfcontained desktop laboratory setup, many casual programmers prefer to use the National Instruments LabVIEW environment to develop their logic. An ActiveX interface is presented that allows integration into a plant-wide distributed environment based on the Experimental Physics and Industrial Control System (EPICS). This paper discusses the design dec...

Integrating Biological Theories Into Evolutionary Algorithms